101. [Computer aided systems theory] [revised selected papers]
پدیدآورنده : [EUROCAST 2003, 9th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 24-28, 2003. Ed.: Roberto Moreno-Díaz ...].
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer Science,Computer-aided design -- Congresses.,Computer-aided engineering -- Congresses.
102. Computing in Horn Clause Theories
پدیدآورنده : by Peter Padawitz.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Logic design.,Software engineering.
رده :
QA76
.
6
B974
1988
103. Constructive Methods in Computing Science :
پدیدآورنده : edited by Manfred Broy.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Logic design.,Software engineering.
رده :
QA75
.
5
E358
1989
104. Current trends in concurrency :
پدیدآورنده : edited by J.W. de Bakker, W.-P. de Roever, and G. Rozenberg.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Parallel processing (Electronic computers),Parallel processing (Electronic computers) -- Congresses.,Parallélisme (Informatique) -- Congrès.
105. Cybernetics and systems '86 :
پدیدآورنده : organized by the Austrian Society for Cybernetic Studies, held at the University of Vienna, Austria, 1-4 April 1986 ; edited by Robert Trappl.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Cybernetics -- Congresses.,System theory -- Congresses.,Systems engineering -- Congresses.
رده :
Q300
.
O743
1986
106. DNA computing and molecular programming :
پدیدآورنده : David Soloveichik, Bernard Yurke (eds.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Molecular computers, Congresses
رده :
QA76
.
887
.
I58
2012
107. DRAWING PROGRAMS: The Theory and Practice of Schematic Functional Programming
پدیدآورنده : / Tom Addis, Jan Addis (auth.)
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
108. Data Structures and Algorithms with Scala :
پدیدآورنده : by Bhim P. Upadhyaya.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer algorithms.,Data structures (Computer science),Scala (Computer program language),Computer algorithms.,Data structures (Computer science),Scala (Computer program language)
رده :
QA76
.
73
.
S28
U63
2019
109. Data Types and Persistence
پدیدآورنده : edited by Malcolm P. Atkinson, Peter Buneman, Ronald Morrison.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Logic design.,Operating systems (Computers)
رده :
QA76
.
9
.
D35
E358
1988
110. Database programming Languages: deductive, functional, persistent and object-oriented approaches
پدیدآورنده : Norman paton ... ]et al.[
کتابخانه: (طهران)
موضوع : Database management , Programming Languages )Electronic computers( , Object-oriented databases
رده :
QA
76
.
9
.
D3
D373
1996
111. Declarative programming and knowledge management :
پدیدآورنده : edited by Dietmar Seipel, Michael Hanus, Salvador Abreu (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Declarative programming, Congresses.,Artificial Intelligence (incl. Robotics).,Logics and Meanings of Programs.,Numeric Computing.,Programming Techniques.,Software Engineering.,Artificial intelligence.,Computer programming-- software development.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Declarative programming.,Mathematical theory of computation.,Software Engineering.
رده :
QA76
.
615
112. Diffusing Software Product and Process Innovations :
پدیدآورنده : edited by Mark A. Ardis, Barbara L. Marcolin.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Mechanical engineering.,Software engineering.
رده :
QA76
.
76
.
D47
E358
2001
113. Digital Product and Process Development Systems
پدیدآورنده : edited by George L. Kovács, Detlef Kochan.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Application software.,Business-- Data processing.,Computer science.,Computer-aided engineering.,Information technology.
114. Distributed Environments :
پدیدآورنده : edited by Yutaka Ohno, Toshiko Matsuda.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer Communication Networks.,Computer science.
رده :
QA76
.
76
.
D47
E358
1991
115. Distributed Systems :
پدیدآورنده : by Albert Fleischmann.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer Communication Networks.,Computer science.,Software engineering.
رده :
QA76
.
9
.
D5
B935
1994
116. Domain-theoretic foundations of functional programming
پدیدآورنده : / Thomas Streicher
کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (طهران)
موضوع : Programming languages (Electronic computers) -- Semantics,Computer science -- Mathematics,Functionele programmering,Domein (wiskunde)
رده :
QA
76
.
7
.
S818
2006
117. Drawing Programs: The Theory and Practice of Schematic Functional Programming
پدیدآورنده : / Tom Addis, Jan Addis
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
118. Drawing programs
پدیدآورنده : Tom Addis, Jan Addis
کتابخانه: كتابخانه مركزي و مركز اطلاع رساني دانشگاه شاهد (طهران)
موضوع : Functional programming (Computer science),Visual programming (Computer science),Diagramm., swd,Funktionale Programmierung., swd
رده :
QA
،
76
.
62
،.
A375
،
2010
119. Drawing programs
پدیدآورنده : / Tom Addis, Jan Addis
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Functional programming (Computer science),Visual programming (Computer science)
رده :
QA76
.
62
.
A33
2010
